<?php

class Mithos_Server {

}

?>